A fluid analysis framework for a Markovian process algebra
نویسندگان
چکیده
منابع مشابه
A fluid analysis framework for a Markovian process algebra
Markovian process algebras, such as PEPA and stochastic π-calculus, bring a powerful compositional ap-proach to the performance modelling of complex systems. However, the models generated by process alge-bras, as with other interleaving formalisms, are susceptible to the state space explosion problem. Modelswith only a modest number of process algebra terms can easily generate so ma...
متن کاملExact Fluid Lumpability for Markovian Process Algebra
We study behavioural relations for process algebra with a fluid semantics given in terms of a system of ordinary differential equations (ODEs). We introduce label equivalence, a relation which is shown to induce an exactly lumped fluid model, a potentially smaller ODE system which can be exactly related to the original one. We show that, in general, for two processes that are related in the flu...
متن کاملA unified framework for differential aggregations in Markovian process algebra
Article history: Received 19 February 2014 Received in revised form 28 October 2014 Accepted 28 October 2014 Available online 4 November 2014
متن کاملDifferential Bisimulation for a Markovian Process Algebra
Formal languages with semantics based on ordinary differential equations (ODEs) have emerged as a useful tool to reason about large-scale distributed systems. We present differential bisimulation, a behavioral equivalence developed as the ODE counterpart of bisimulations for languages with probabilistic or stochastic semantics. We study it in the context of a Markovian process algebra. Similarl...
متن کاملExtended Markovian Process Algebra
EMPA enhances the expressiveness of classical process algebras by integrating functional and performance descriptions of concurrent systems. This is achieved by ooering, besides passive actions (useful for pure nondeterminism), actions whose duration is exponentially distributed as well as immediate actions (useful for performance abstraction), parametrized by priority levels (hence prioritized...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2010
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2010.02.001